Software repository - PDFSEARCH.IO - Document Search Engine

Software repository
Results: 773

#	Item
21	The Advantages and Disadvantages of Monolithic, Multiple, and Hybrid Repositories By Oscar Bonilla BitKeeper, Inc. Abstract Add to Reading List Source URL: www.bitkeeper.org Language: English - Date: 2016-08-22 08:23:23 Software Computer programming Version control Git Distributed version control Codebase Institutional repository Concurrent Versions System Repository BitKeeper Arch Linux Commit
22	UM Change Control Process So you want to alter the UM and get your change into a future release. © Crown copyright Met Office UM Release Add to Reading List Source URL: seecop.meteo.co.me Language: English - Date: 2016-06-23 04:12:03 Software Free software Version control Software development process Apache Subversion Collaborative software Concurrent Versions System Trac Branching Copyright law of the United States Commit Repository
23	A Look at the Dynamics of the JavaScript Package Ecosystem Erik Wittern Philippe Suter Add to Reading List Source URL: www.apiful.io Language: English - Date: 2016-08-16 17:57:06 Software JavaScript libraries Npm Grunt Package manager Software repository Go Arch Linux Node.js Mocha Debian R
24	Extending partial deduction to tabled execution: some results and open issues Konstantinos Sagonas and Michael Leuschel ACM Computing Surveys, Vol. 30, No. 3es, September 1998 Article 16 Permission to make digital/hard c Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Software engineering Computer programming Computing XSB Prolog Logic programming Partial evaluation Mathematical logic Logic Deductive database Abstract interpretation ECL programming language
25	An approach for the understanding of scientific application programs based on program specialization Sandrine Blazy, Philippe Facon CEDRIC IIE 18 allée Jean RostandEvry Cedex Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Data types Source code Subroutines Type theory Fortran Parameter Scope Variable Record
26	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
27	Program Analysis and Specialization for the C Programming Language Ph.D. Thesis Lars Ole Andersen Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:01 Software engineering Programming language theory Computing Data types University of Copenhagen Static program analysis Procedural programming languages Pointer TOPPS UCPH Department of Computer Science Const Alias analysis
28	Go-Online Frequently Asked Questions Add to Reading List Source URL: www.dts.ca.gov Language: English - Date: 2013-06-04 20:12:38 Software System software Job scheduling Academic publishing Open access ISPF Institutional repository Job Entry Subsystem 2/3 Resource Access Control Facility Internet Database
29	In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Software development Programming idioms Computability theory Functional programming Theoretical computer science Logic programming Unfolding Recursion Free variables and bound variables Symbolic computation
30	ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Software engineering Computer programming Theoretical computer science Logic programming Logic in computer science Prolog Definite clause grammar Partial evaluation Unification Horn clause Futures and promises